function play(a1){
	var a2 = document.querySelector("#bgmusic");
	if(a1.classList.length==1){
		a1.classList.add("rotatemusic");
		a2.play();
	}
	else{
		a1.classList.remove("rotatemusic");
		a2.pause();
	}
}
